Using Continuations to Account for Plural Quantification and Anaphora Binding
ثبت نشده
چکیده
We give in this paper an explicit formal account of plural semantics in the framework of continuation semantics introduced in [1] and extended in [4]. We deal with aspects of plural dynamic semantics such as plural quantification, plural anaphora, conjunction and disjunction, distributivity and maximality conditions. Those phenomena need no extra stipulations to be accounted for in this framework, because continuation semantics provides a unified account of scope-
منابع مشابه
Using Continuations to Account for Plural Quantification and Anaphora Binding
We give in this paper an explicit formal account of plural semantics in the framework of continuation semantics introduced in [1] and extended in [4]. We deal with aspects of plural dynamic semantics such as plural quantification, plural anaphora, conjunction and disjunction, distibutivity and maximality conditions. Those phenomena need no extra stipulations to be accounted for in this framewor...
متن کاملDonkey Pluralities: Plural Information States vs. Non-Atomic Individuals
The paper argues that two distinct and independent notions of plurality are involved in natural language anaphora and quantification: plural reference (the usual non-atomic individuals) and plural discourse reference, i.e. reference to a quantificational dependency between sets of objects (e.g. atomic / non-atomic individuals) that is established and subsequently elaborated upon in discourse. F...
متن کاملSalience, Inference and Plural Anaphora
In this paper, I argue that the DRT Construction Rules for plural antecedents are redundant, because they are subsumed by an inference mechanism that must be made generally available for anaphora resolution. While Kamp and Reyle originally argued against a general inference mechanism for plural anaphora, I argue that the facts of compset anaphora require inference. Furthermore, I observe that c...
متن کاملPlural Anaphora in Property-theoretic Discourse Theory
It is possible to use a combination of classical logic and dependent types to represent natural language discourse and singular anaphora (Fox, 1994a). In this paper, these ideas are extended to account for some cases of plural anaphora. In the theory described, PT D , universal quantiication and conditionals give rise to a context in which singular referents within its scope are transformed int...
متن کاملTypes as Graphs: Continuations in Type Logical Grammar
Using the programming-language concept of CONTINUATIONS, we propose a new, multimodal analysis of quantification in Type Logical Grammar. Our approach provides a geometric view of in-situ quantification in terms of graphs, and motivates the limited use of empty antecedents in derivations. Just as continuations are the tool of choice for reasoning about evaluation order and side effects in progr...
متن کامل